大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Software Engineering (1976 : New York) 的图书(共10474本)

Advances in FRP Composites in Civil Engineering [electronic resource] : Proceedings of the 5th International Conference on FRP Composites in Civil Engineering (CICE 2010), Sep 27鈥⹬ 2010, Beijing, China

0
索取号:
作者:Ye、 Lieping.、Feng、 Peng.、Yue、 Qingrui.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Integrated Systems, Design and Technology 2010 [electronic resource] : Knowledge Transfer in New Technologies

0
索取号:
作者:Fathi、 Madjid.、Holland、 Alexander.、Ansari、 Fazel.、Weber、 Christian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Extremal Combinatorics [electronic resource] : With Applications in Computer Science

0
索取号:
作者:Jukna、 Stasys.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Self-organising Software [electronic resource] : From Natural to Artificial Adaptation

0
索取号:
作者:Di Marzo Serugendo、 Giovanna.、Gleizes、 Marie-Pierre.、Karageorgos、 Anthony.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Algebraic Specification and Formal Software Development [electronic resource]

0
索取号:
作者:Sannella、 Donald.、Tarlecki、 Andrzej.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Graph Transformations and Model-Driven Engineering [electronic resource] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

0
索取号:
作者:Engels、 Gregor.、Lewerentz、 Claus.、Sch盲fer、 Wilhelm.、Sch眉rr、 Andy.、Westfechtel、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Visual Computing [electronic resource] : 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010. Proceedings, Part I

0
索取号:
作者:Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Chung、 Ronald.、Hammoud、 Riad.、Hussain、 Muhammad.、Kar-Han、 Tan.、Crawfis、 Roger.、Thalmann、 Daniel.、Kao、 David.、Avila、 Lisa.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Visual Computing [electronic resource] : 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 - December 1, 2010, Proceedings, Part III

0
索取号:
作者:Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Chung、 Ronald.、Hammound、 Riad.、Hussain、 Muhammad.、Kar-Han、 Tan.、Crawfis、 Roger.、Thalmann、 Daniel.、Kao、 David.、Avila、 Lisa.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Visual Computing [electronic resource] : 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 鈥ĥcember 1, 2010, Proceedings, Part II

0
索取号:
作者:Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Chung、 Ronald.、Hammound、 Riad.、Hussain、 Muhammad.、Kar-Han、 Tan.、Crawfis、 Roger.、Thalmann、 Daniel.、Kao、 David.、Avila、 Lisa.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Programming Languages and Systems [electronic resource] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

0
索取号:
作者:Ueda、 Kazunori.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Components and Objects [electronic resource] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

0
索取号:
作者:Boer、 Frank S.、Bonsangue、 Marcello M.、Hallerstede、 Stefan.、Leuschel、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Current Trends in Web Engineering [electronic resource] : 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers

0
索取号:
作者:Daniel、 Florian.、Facca、 Federico Michele.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Graph Theoretic Concepts in Computer Science [electronic resource] : 36th International Workshop, WG 2010, Zar贸s, Crete, Greece, June 28-30, 2010 Revised Papers

0
索取号:
作者:Thilikos、 Dimitrios M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods and Software Engineering [electronic resource] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

0
索取号:
作者:Dong、 Jin Song.、Zhu、 Huibiao.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Information and Computer Security [electronic resource] : 5th International Workshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010. Proceedings

0
索取号:
作者:Echizen、 Isao.、Kunihiro、 Noboru.、Sasaki、 Ryoichi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Unifying Theories of Programming [electronic resource] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

0
索取号:
作者:Qin、 Shengchao.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类